Current Issue : January - March Volume : 2013 Issue Number : 1 Articles : 4 Articles
We propose a generic synthetic event generator from kernel trace events. The proposed method makes use of patterns of system\r\nstates and environment-independent semantic events rather than platform-specific raw events. This method can be applied to\r\ndifferent kernel and user level trace formats. We use a state model to store intermediate states and events. This stateful method\r\nsupports partial trace abstraction and enables users to seek and navigate through the trace events and to abstract out the desired\r\npart. Since it uses the current and previous values of the system states and has more knowledge of the underlying system execution,\r\nit can generate a wide range of synthetic events. One of the obvious applications of this method is the identification of system\r\nfaults and problems that will appear later in this paper.We will discuss the architecture of the method, its implementation, and the\r\nperformance results....
Due to the massive complexity of contemporary embedded applications and integrated systems, long effort has been invested\r\nin high-level synthesis (HLS) and electronic system level (ESL) methodologies to automatically produce correct implementations\r\nfrom high-level, abstract, and executable specifications written in programcode. If the HLS transformations that are applied on the\r\nsource code are formal, then the generated implementation is correct-by-construction. The focus in this work is on applicationspecific\r\ndesign, which can deliver optimal, and customized implementations, as opposed to platform or IP-based design, which\r\nis bound by the limits and constraints of the preexisting architecture. This work surveys and reviews past and current research in\r\nthe area of ESL and HLS. Then, a prototype HLS compiler tool that has been developed by the author is presented, which utilizes\r\ncompiler-generators and logic programming to turn the synthesis into a formal process. The scheduler PARCS and the formal\r\ncompilation of the system are tested with a number of benchmarks and real-world applications. This demonstrates the usability\r\nand applicability of the presented method....
Software-intensive embedded systems, especially cyber-physical systems, benefit from the additional performance and the small\r\npower envelope offered by many-core processors. Nevertheless, the adoption of a massively parallel processor architecture in\r\nthe embedded domain is still challenging. The integration of multiple and potentially parallel functions on a chipââ?¬â?instead of\r\njust a single functionââ?¬â?makes best use of the resources offered. However, this multifunction approach leads to new technical\r\nand nontechnical challenges during the integration. This is especially the case for a distributed system architecture, which is\r\nsubject to specific safety considerations. In this paper, it is argued that these challenges cannot be effectively addressed with\r\ntraditional engineering approaches. Instead, the application of the ââ?¬Å?correctness by constructionââ?¬Â principle is proposed to improve\r\nthe integration process....
In business intelligence systems, data warehouse metadata management and representation are getting more and more attention\r\nby vendors and designers. The standard language for the data warehouse metadata representation is the Common Warehouse\r\nMetamodel. However, business intelligence systems include also approximate query answering systems, since these software tools\r\nprovide fast responses for decision making on the basis of approximate query processing. Currently, the standard meta-model does\r\nnot allow to represent the metadata needed by approximate query answering systems. In this paper, we propose an extension of\r\nthe standard metamodel, in order to define the metadata to be used in online approximate analytical processing. These metadata\r\nhave been successfully adopted in ADAP, a web-based approximate query answering system that creates and uses statistical data\r\nprofiles....
Loading....